Z 言語
https://ja.wikipedia.org/wiki/Z言語
#形式手法